不定长类型

    大部分类型有一个特定的大小,以字节为单位,它们在编译时是已知的。例如,一个i32是 32 位大,或者 4 个字节。然而,有些类型有益于表达,却没有一个定义的大小。它们叫做“不定长”或者“动态大小”类型。一个例子是[T]。这个类型代表一个特定数量t的序列。不过我们并不知道有多少,所以大小是未知的。

    Rust 知道几个这样的类型,不过它们有一些限制。这有三个:

    或者

    相反,你将不得不这么写:

    如果你想要写一个接受动态大小类型的函数,你可以使用这个特殊的 bound 语法,?Sized

    这个?Sized,读作“T可能是Sized的”,允许我们匹配固定长度和不定长度的类型。所有泛型类型参数隐式包含Sized bound,所以可以被用来移除这个隐式 bound。